Divide the value of each key-value pair by the specified number for each map if
and only if the \code{checks} hold on the object.
\input{\topdir/client/fragments/fail_if_not_found}

\input{\topdir/client/fragments/conditional}
